From f462dded36c656a4e063a2d1131febc5955806e0 Mon Sep 17 00:00:00 2001 From: Stefano Facchini Date: Mon, 5 Aug 2013 18:22:20 +0200 Subject: [PATCH] searchbar: ignore GDK_KEY_Menu in handle_event() https://bugzilla.gnome.org/show_bug.cgi?id=705524 --- gtk/gtksearchbar.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gtk/gtksearchbar.c b/gtk/gtksearchbar.c index d1c0eb2423..bf5f2a969d 100644 --- a/gtk/gtksearchbar.c +++ b/gtk/gtksearchbar.c @@ -225,7 +225,8 @@ gtk_search_bar_handle_event (GtkSearchBar *bar, if (priv->reveal_child || !gdk_event_get_keyval (event, &keyval) || is_keynav_event (event, keyval) || - keyval == GDK_KEY_space) + keyval == GDK_KEY_space || + keyval == GDK_KEY_Menu) return GDK_EVENT_PROPAGATE; if (!gtk_widget_get_realized (priv->entry)) -- 2.30.2